Baire category and nowhere differentiability for feasible real functions
نویسندگان
چکیده
منابع مشابه
Baire Category and Nowhere Differentiability for Feasible Real Functions
A notion of resource-bounded Baire category is developed for the class PC[0,1] of all polynomial-time computable real-valued functions on the unit interval. The meager subsets of PC[0,1] are characterized in terms of resource-bounded Banach-Mazur games. This characterization is used to prove that, in the sense of Baire category, almost every function in PC[0,1] is nowhere differentiable. This i...
متن کاملFractional differentiability of nowhere differentiable functions and dimensions.
Weierstrass's everywhere continuous but nowhere differentiable function is shown to be locally continuously fractionally differentiable everywhere for all orders below the "critical order" 2-s and not so for orders between 2-s and 1, where s, 1<s<2 is the box dimension of the graph of the function. This observation is consolidated in the general result showing a direct connection between local ...
متن کاملReal Recursive Functions and Baire Classes
Recursive functions over the reals [6] have been considered, first as a model of analog computation, and second to obtain analog characterizations of classical computational complexity classes [2]. However, one of the operators introduced in the seminal paper by Cris Moore (in 1996), the minimalization operator, creates some difficulties: (a) although differential recursion (the analog counterp...
متن کاملBaire Category for Monotone Sets
We study Baire category for downward-closed subsets of 2ω , showing that it behaves better in this context than for general subsets of 2ω . We show that, in the downward-closed context, the ideal of meager sets is prime and b-complete, while the complementary filter is g-complete. We also discuss other cardinal characteristics of this ideal and this filter, and we show that analogous results fo...
متن کاملNowhere Weak Differentiability of the Pettis Integral
For an arbitrary in nite-dimensional Banach space X, we construct examples of strongly-measurable X-valued Pettis integrable functions whose indefinite Pettis integrals are nowhere weakly di erentiable; thus, for these functions the Lebesgue Di erentiation Theorem fails rather spectacularly. We also relate the degree of nondi erentiability of the inde nite Pettis integral to the cotype of X, fr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: MLQ
سال: 2004
ISSN: 0942-5616,1521-3870
DOI: 10.1002/malq.200310112